SOFTWARE DIAGNOSIS USING COMPRESSED SIGNATURE SEQUENCES

Software monitoring and debugging can be efficiently supported by one of the concurrent error detection methods, the application of watchdog processors. A watchdog processor, as a co-processor, receives and evaluates signatures assigned to the states of the program execution. After the checking, it stores the run-time sequence of signatures which identify the statements of the program. In this way, a trace of the statements executed before the error is available. The signature buffer can be efficiently utilized if the signature sequence is compressed. In the paper, two real-time compression methods are presented and compared. The first one uses predefined dictionaries, while the other one utilizes the structural information encoded in the signatures

QuantUM: Quantitative Safety Analysis of UML Models

When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day work. This is mainly due to the lack of methods that can be directly applied to architecture level models, for instance given as UML diagrams. Also, it is necessary that the description methods used do not require a profound knowledge of formal methods. Our approach bridges this gap and improves the integration of quantitative safety analysis methods into the development process. All inputs of the analysis are specified at the level of a UML model. This model is then automatically translated into the analysis model, and the results of the analysis are consequently represented on the level of the UML model. Thus the analysis model and the formal methods used during the analysis are hidden from the user. We illustrate the usefulness of our approach using an industrial strength case study.Comment: In Proceedings QAPL 2011, arXiv:1107.074

Synthesis and characterization of triangulene

Triangulene, the smallest triplet-ground-state polybenzenoid (also known as Clar's hydrocarbon), has been an enigmatic molecule ever since its existence was first hypothesized1. Despite containing an even number of carbons (22, in six fused benzene rings), it is not possible to draw Kekulé-style resonant structures for the whole molecule: any attempt results in two unpaired valence electrons2. Synthesis and characterization of unsubstituted triangulene has not been achieved because of its extreme reactivity1, although the addition of substituents has allowed the stabilization and synthesis of the triangulene core3, 4 and verification of the triplet ground state via electron paramagnetic resonance measurements5. Here we show the on-surface generation of unsubstituted triangulene that consists of six fused benzene rings. The tip of a combined scanning tunnelling and atomic force microscope (STM/AFM) was used to dehydrogenate precursor molecules. STM measurements in combination with density functional theory (DFT) calculations confirmed that triangulene keeps its free-molecule properties on the surface, whereas AFM measurements resolved its planar, threefold symmetric molecular structure. The unique topology of such non-Kekulé hydrocarbons results in open-shell π-conjugated graphene fragments6 that give rise to high-spin ground states, potentially useful in organic spintronic devices7, 8. Our generation method renders manifold experiments possible to investigate triangulene and related open-shell fragments at the single-molecule level

Resilient Computing Curriculum Draft -- ReSIST NoE Deliverable D16

This Deliverable presents the first version of ReSIST's Curriculum in Resilient Computing, limited to the description of the syllabi for the first year (Semesters 1 and 2) and indicates the line and title for the curriculum in the second year (semesters 3 and 4) and propose it to the general discussion for improvements. The curriculum will be updated and completed in successive versions that will take advantage of a large open discussion inside and outside ReSIS

Oxygen reduction reaction features in neutral media on glassy carbon electrode functionalized by chemically prepared gold nanoparticles

Gold nanoparticles (AuNPs) were prepared by chemical route using 4 different protocols by varying reducer, stabilizing agent and solvent mixture. The obtained AuNPs were characterized by transmission electronic microscopy (TEM), UV-Visible and zeta potential measurements. From these latter surface charge densities were calculated to evidence the effect of the solvent mixture on AuNPs stability. The AuNPs were then deposited onto glassy carbon (GC) electrodes by drop-casting and the resulting deposits were characterized by cyclic voltammetry (CV) in H2SO4 and field emission gun scanning electron microscopy (FEG-SEM). The electrochemical kinetic parameters of the 4 different modified electrodes towards oxygen reduction reaction (ORR) in neutral NaCl-NaHCO3 media (0.15 M / 0.028 M, pH 7.4) were evaluated by rotating disk electrode voltammetry and subsequent Koutecky-Levich treatment. Contrary to what we previously obtained with electrodeposited AuNPs [Gotti et al., Electrochim. Acta 2014], the highest cathodic transfer coefficients were not obtained on the smallest particles, highlighting the influence of the stabilizing ligand together with the deposits morphology on the ORR kinetics

Reachability and Timing Analysis in Data Flow Networks: A Case Study

The need of efficient implementation, safety and performance requires early validation in the design of computer control systems. The detailed timing and reachability analysis in the development process is particularly important if we design equipments or algorithms of high performance and availability. In this paper we present a case study related to the early validation of control systems modeled by data flow networks. The model is validated indirectly as it is transformed to Petri nets in order to be able to utilize the tools available for Petri nets. 1